00100	Two comments about XGPPUB.1
00200	
00300	(1)
00400	XGP service might be able to keep up with complex arrangements of
00500	characters providing that PUB pre-warns it as to what characters will
00600	be needed a few lines in advance and that the characters are supplied
00700	in top-down order.
00800	
00900	Still, it may be easier to do what you suggest.
01000	
01100	(2)
01200	Perlis says Yale has an algorithm that takes standard Mathematical
01300	Society linear notation and produces the corresponding 2-d formula.
01400	This should be looked into.